Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure Redundancy

Reliability design of fault-tolerant computer-based systems with version-structural redundancy and multiply software updates involves solving number of issues. This paper outlines an availability model of the computer-based systems which shows the algorithm for reliability behavior. For various configurations of the computer-based systems, the use of the proposed model and problem-oriented software, ASNA represents the ability to automate constructed the Markovian chains. This model includes a number of settings: failure rate of the software; numbers of software updates; duration of software updates; the structure of the system’s hardware and reliability indicators. The proposed model for the automated development of Markovian chains is subject to the adaptation of the structure of the hardware of computer-based systems and/or the algorithms of reliability behavior. This allows us to obtain a new model and the feasibility to automate development of the Markovian chains.